Formal Methodology
نویسندگان
چکیده
منابع مشابه
An Agile Formal Development Methodology
The demand for more complex but also more reliable and correct computer based systems on the one hand, and the fact that several changes in the user requirements through the development cycle on the other hand, leads to the need for more formal but also agile development methodologies. This report proposes XFun, which is a development methodology that adopts the unified process, and proposes as...
متن کاملIncorporating Formal Specifications to Jacobson's Methodology
It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inherita...
متن کاملA Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a speciication language for specifying the agent capabilities to execute its actions in dynamic environments and a repertoire of proof methods by which the correctness of an agent, relative to its capabilities , can be formally veriied.
متن کاملA formal graphical based process modeling methodology
In this paper we present a representation scheme for chemical unit processes. The representation is based on a topological and a phenomenological abstraction of the process. The topological abstraction decomposes the process into control volumes and boundaries. The phenomenological abstraction represents the phenomena in the process using three general process characteristics, i.e. transport, r...
متن کاملA Formal Methodology for Compositional Cross-Layer Optimization
The xTune framework employs iterative tuning using lightweight formal verification at runtime with feedback for dynamic adaptation of mobile real-time embedded systems. To enable trade-off analysis across multiple layers of abstraction and predict the possible property violations as the system evolves dynamically over time, an executable formal specification is developed for each layer of the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Investigations
سال: 2009
ISSN: 2413-2713,2074-1472
DOI: 10.21146/2074-1472-2009-15-0-296-313